arbitration procedures governing disputed firings